System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
261	IE 670: Topics in Operations Research Fall 2013 UB - Department of Industrial and Systems Engineering IE 670: Topics in Operations Research Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical optimization Operations research Dynamical systems Calculus of variations Partial differential equations Projected dynamical system Complementarity theory Variational inequality Linear complementarity problem Linear programming Draft:Extended mathematical programming Mathematical programming with equilibrium constraints
262	WebTools Release Notes Version 1.1 Application: Package Name: Add to Reading List Source URL: www.usps.com Language: English - Date: 2016-08-04 10:45:48 Postal system Express mail United States Postal Service Application programming interface Web API ZIP code Mail Address
263	Release Notes Web Tools APIs Add to Reading List Source URL: www.usps.com Language: English - Date: 2016-05-13 14:31:28 Express mail Postal system United States Postal Service Web API Application programming interface ZIP code Mail Address
264	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
265	VACANCY: SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product Add to Reading List Source URL: www.ee.sun.ac.za Language: English - Date: 2016-05-17 09:18:57 Unmanned aerial vehicles Avionics Robotics System programming Extensible Application Markup Language
266	Sports Analysis and Visualisation System Robert Dixon Hamish Morrison Nathan Owens James Spyt Supervisor: Susmit Sarkar Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-16 11:17:22 Application programming interface Technical communication Software development Database Software Android Software testing
267	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
268	Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Data types Type theory Object-oriented programming languages Cross-platform software Procedural programming languages Gradual typing Type system This Objective-C Type safety Parameter Reference
269	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
270	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference

UPDATE